1.
پدیدآورنده : هیلبرت ،داوید،1943- 1862
کتابخانه: کتابخانه ۱۳ آبان (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ،منطق ریاضی،
رده :
511
/3
ه
962
ب
1380


2.
پدیدآورنده : بیزام ،جورج
کتابخانه: کتابخانه ۱۳ آبان (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ،منطق ریاضی - مسائل ? تمرینها و غیره، ,،ریاضیات - سرگرمیها،
رده :
511
/3076
ب
936
ص
1374


5.
پدیدآورنده : اردشیر بهرستاقی،محمد
کتابخانه: کتابخانه آیت الله ايرواني (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ،منطق ریاضی،
رده :
511
،
/3
،
الف
381
م
،
1389


6.
پدیدآورنده : موحد،ضیا،1321-
کتابخانه: کتابخانه ۱۳ آبان (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ،منطق ریاضی،
رده :
511
/3
م
828
د
1386


7.
پدیدآورنده : دباغ ،سروش,ترجمه و شرح سروش دباغ
کتابخانه: کتابخانه هشت بهشت (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ، ویتگنشتاین ? لودویگ ? 1889 - 1951 م.، نظریه درباره صدق و کذب )منطق(,، صدق و کذب )منطق(، ,، منطق ریاضی،
رده :
193
د
352
ر
1393


8.
پدیدآورنده : ادیب سلطانی ،میرشمس الدین ،- 1310
کتابخانه: کتابخانه ۱۳ آبان (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ،منطق ریاضی، ,،گودل ? قضیه،
رده :
511
/3
الف
348
پ
1373


10. <A> Concise introduction to pure mathematics
پدیدآورنده : \ Martin Liebeck.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,


11. <A> First Course in Logic
پدیدآورنده : \ Shawn Hedman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,Logic, Symbolic and mathematical,منطق,منطق ریاضی
رده :
E-Book
,

12. <A> First Course in Mathematical Logic and Set Theory
پدیدآورنده : \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعهها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,


13. <A> First Course in Modern Logic
پدیدآورنده : \ Edith Watson Shipper and Edward Schuh
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
BC135
.
S33F5
1960


14. <A> Framework for Priority Arguments
پدیدآورنده : / Manuel Lerman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010


15. <A> Logical Approach to Philosophy
پدیدآورنده : \ edited by David Devidi and Tim Kenyon.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- Congresses. ,Logic, Symbolic and mathematical -- Congresses. ,منطق -- کنگرهها ,منطق ریاضی -- کنگرهها
رده :
E-Book
,

16. <A> Mathematical Introduction to Logic
پدیدآورنده : \ Herbert B. Enderton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,

17. <A> course in mathematical logic for mathematicians
پدیدآورنده : \ Yu. I. Manin; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,

18. Algebra, logic, and combinatorics
پدیدآورنده : \ editors, Shaun Bullett, Queen Mary University of London, UK, Tom Fearn, University College London, UK, Frank Smith, University College London, UK.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,جبر,منطق ریاضی ,آنالیز ترکیبی
رده :
QA155
.
A525
2016
E-book
,


19. An outline of set theory
پدیدآورنده : / James M. Henle.,هنل,Henle
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : نظریه مجموعهها,منطق ریاضی
رده :
QA
۲۴۸
/
ھ
۹
الف
۸ ۱۳۷۰

20. Analysis and Synthesis of Logics
پدیدآورنده : \ by Walter Carnielli...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
